Smooth Approximation in O-minimal Structures
نویسنده
چکیده
Fix an o-minimal expansion of the real exponential field that possesses smooth cell decomposition. We prove smooth approximation of definable differentiable functions with respect to a topology closely related to the Whitney topology. As a consequence we obtain a strong version of definable smooth separation of sets, which we use to prove that definable smooth manifolds are definably affine.
منابع مشابه
Efficient Approximation Algorithms for Point-set Diameter in Higher Dimensions
We study the problem of computing the diameter of a set of $n$ points in $d$-dimensional Euclidean space for a fixed dimension $d$, and propose a new $(1+varepsilon)$-approximation algorithm with $O(n+ 1/varepsilon^{d-1})$ time and $O(n)$ space, where $0 < varepsilonleqslant 1$. We also show that the proposed algorithm can be modified to a $(1+O(varepsilon))$-approximation algorithm with $O(n+...
متن کاملUncertainty analysis of hierarchical granular structures for multi-granulation typical hesitant fuzzy approximation space
Hierarchical structures and uncertainty measures are two main aspects in granular computing, approximate reasoning and cognitive process. Typical hesitant fuzzy sets, as a prime extension of fuzzy sets, are more flexible to reflect the hesitance and ambiguity in knowledge representation and decision making. In this paper, we mainly investigate the hierarchical structures and uncertainty measure...
متن کاملConcerning the frame of minimal prime ideals of pointfree function rings
Let $L$ be a completely regular frame and $mathcal{R}L$ be the ring of continuous real-valued functions on $L$. We study the frame $mathfrak{O}(Min(mathcal{R}L))$ of minimal prime ideals of $mathcal{R}L$ in relation to $beta L$. For $Iinbeta L$, denote by $textit{textbf{O}}^I$ the ideal ${alphainmathcal{R}Lmidcozalphain I}$ of $mathcal{R}L$. We show that sending $I$ to the set of minimal prime ...
متن کاملInfinitely Peano differentiable functions in polynomially bounded o-minimal structures
Let R be an o-minimal expansion of a real closed field. We show that the definable infinitely Peano differentiable functions are smooth if and only if R is polynomially bounded.
متن کاملInfinite Peano Differentiable Functions in Polynomially Bounded O-minimal Structures
Let R be an o-minimal expansion of a real closed field. We show that the definable infinitely Peano differentiable functions are smooth if and only if R is polynomially bounded.
متن کامل